Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
801	Weyl Group Multiple Dirichlet Series: Type A Combinatorial Theory Ben Brubaker, Daniel Bump and Solomon Friedberg Department of Mathematics, MIT, Cambridge MA[removed], USA Department of Mathematics, Stanford Universit Add to Reading List Source URL: sporadic.stanford.edu Language: English - Date: 2011-06-09 18:39:10 Representation theory of Lie groups Number theorists Dirichlet series Weyl character formula Series Hermann Weyl Multiplicative function Mathematical analysis Mathematics Abstract algebra
802	Quantum computing in Fortran Arjen Markus1 WL \| Delft Hydraulics PO Box[removed]MH Delft The Netherlands Add to Reading List Source URL: flibs.sourceforge.net Language: English - Date: 2006-03-15 06:42:08 Theoretical computer science Computing Quantum information science Qi Algorithm Quantum algorithm Array data type Wave function Factorial Mathematics Physics Quantum mechanics
803	Corecursion in Session-Typed Processes Bernardo Toninho∗† , Lu´ıs Caires∗ and Frank Pfenning† ∗ CITI and FCT - Universidade Nova de Lisboa † Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-01-21 08:17:30 Theoretical computer science Computability theory Recursion Type theory Deduction Function Interpretation Entailment Curry–Howard correspondence Logic Mathematics Mathematical logic
804	User’s Manual DPharp BRAIN Communication Type (EJXA, EJAE) Add to Reading List Source URL: cdn2.us.yokogawa.com Language: English - Date: 2013-10-31 16:43:41 Yokogawa Electric AS/400 Control Language Hewlett-Packard Function key Computing Technology Computer hardware
805	Final Coalgebras as Greatest Fixed Points in ZF Set Theory∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England Received 1 March 1999 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:48 Category theory Binary operations Functional programming F-coalgebra Initial algebra Coalgebra Function Cartesian product Exponentiation Mathematics Abstract algebra Type theory
806	Moving from FCL To Fuzz-C™ If you’re using the C language, the facilities of FCL (and more) are available through Byte Craft’s Fuzz-C™. Kirk Zurell, Byte Craft Limited Add to Reading List Source URL: www.bytecraft.com Language: English - Date: 2009-01-14 16:47:01 Fuzzy control system Fuzzy Control Language Fuzzy set Defuzzification Membership function Fuzzy rule Type-2 fuzzy sets and systems Neuro-fuzzy Fuzzy logic Logic Mathematical logic
807	INFORMATIK BERICHTE 364 – [removed]Book Chapter: Trajectory Databases Add to Reading List Source URL: dna.fernuni-hagen.de Language: English - Date: 2012-05-29 08:48:06 Data types Type theory Procedural programming languages Program analysis Type system Attribute ALGOL 68 Function Programming language theory Computing Software engineering
808	Volume 8, Num Number 6 June[removed]www.bcbjournal.org Add to Reading List Source URL: www.bcbjournal.com Language: English - Date: 2011-06-08 00:20:30 C++ Method D C++ classes ALGOL 68 C Sharp Constructor Virtual function Void type Software engineering Computing Computer programming
809	Inheritance and Polymorphism Lecture # 5 Add to Reading List Source URL: math.nist.gov Language: English - Date: 1996-11-15 16:32:10 Method Object-oriented programming C++ Data types Type theory Virtual function C++ classes Method overriding Destructor Software engineering Computing Computer programming
810	αProlog User’s Guide & Language Reference Version 0.3 DRAFT Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-28 08:33:38 Lambda calculus Type theory Logic programming Formal methods Unification Higher-order abstract syntax Function Hindley–Milner Free variables and bound variables Mathematics Software engineering Theoretical computer science

UPDATE